download all originals (max 500 MB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Truth Table 1 | Text File | 1 | 30 b | 1996-09-28 |
| Name | Format | Size | Date |
|---|---|---|---|
| Inequivalence 1 | Unknown | 29 b | 1996-09-28 |
| Invalidity 1 | Unknown | 41 b | 1996-09-28 |
| Logical Truth 1 | Unknown | 31 b | 1996-09-28 |
| Logical Truth 2 | Unknown | 35 b | 1996-09-28 |
| Logical Truth 3 | Unknown | 37 b | 1996-09-28 |
| Satisfiability 1 | Unknown | 58 b | 1996-09-28 |
| Satisfiability Loop | Unknown | 35 b | 1996-09-28 |
| Unsatisfiability 1 | Unknown | 35 b | 1996-09-28 |
| Validity 1 | Unknown | 47 b | 1996-09-28 |
| Validity 2 | Unknown | 77 b | 1996-09-28 |
| Validity 3 | Unknown | 84 b | 1996-09-28 |
| Validity 4 | Unknown | 41 b | 1996-09-28 |